European Rail Traffic Management System - PDFSEARCH.IO - Document Search Engine

European Rail Traffic Management System
Results: 438

#	Item
61	European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA Add to Reading List Source URL: www.symbolaris.com Language: English - Date: 2014-08-04 10:09:36 European Rail Traffic Management System Rail transport European Train Control System Control theory High-speed rail Automatic Train Protection Train protection systems Land transport Transport
62	Logical Verification and Systematic Parametric Analysis in Train Control? Andr´e Platzer and Jan-David Quesel University of Oldenburg, Department of Computing Science, Germany {platzer\|quesel}@informatik.uni-oldenburg.d Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:07:19 Rail transport European Rail Traffic Management System European Train Control System Theoretical computer science Railway signalling Model checking KeY First-order logic Correctness Transport Train protection systems Land transport
63	European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA Add to Reading List Source URL: symbolaris.com Language: English - Date: 2013-11-27 20:01:46 European Rail Traffic Management System Rail transport European Train Control System Control theory High-speed rail Automatic Train Protection Train protection systems Land transport Transport
64	Logical Verification and Systematic Parametric Analysis in Train Control Andr´ e Platzer and Jan-David Quesel University of Oldenburg Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:07:18 Train protection systems European Rail Traffic Management System European Train Control System Symbol Transport Land transport Rail transport
65	Congress Day One: Tuesday 19th May[removed]:00 Morning coffee and registration 09:00 Add to Reading List Source URL: cdn2.hubspot.net Language: English - Date: 2015-02-09 07:15:23 European Rail Traffic Management System Railway signalling Rail transport in Europe Train protection systems International Union of Railways European Train Control System Network Rail Transport Land transport Rail transport
66	NOTE Policy Department Structural and Cohesion Policies INTEROPERABILITY Add to Reading List Source URL: www.trt.it Language: English - Date: 2012-02-02 06:21:55 Rail transport Rail transport in Europe Interoperability Telecommunications European Train Control System GSM-R ERA Technical Specifications for Interoperability Transport European Rail Traffic Management System Land transport
67	CEF Transport call 2014 for Cohesion Member States Stéphane Ouaki Connecting Europe – Infrastructure Investment Strategies Unit DG MOVE, European Commission Add to Reading List Source URL: ec.europa.eu Language: English - Date: 2014-12-18 07:58:26 Rail transport in Europe Economy of the European Union Trans-European Transport Networks Structural Funds and Cohesion Fund Trans-European road network European Rail Traffic Management System European Union Mode of transport Motorways of the Sea Transport in Europe Transport Europe
68	Guru Gobind Singh Indraprastha University DATE SHEET FOR FIRST MID-TERM B.TECH.EXAMINATION –SEPT, 2014 Date & Day[removed]Monday Add to Reading List Source URL: www.aitgurgaon.org Language: English - Date: 2014-09-11 07:45:03 Electronics European Rail Traffic Management System European Train Control System Electrical engineering
69	inea_org_2014_FULL_161114_external Add to Reading List Source URL: inea.ec.europa.eu Language: English - Date: 2015-01-19 05:19:28 International Union of Railways Rail transport in Europe Railway signalling Automated teller machine Motorways of the Sea Ris Transport Technology European Rail Traffic Management System
70	Guru Gobind Singh Indraprastha University Date Sheet for 2nd MID-TERM B.Tech Exam for II, III & IV Years & 1st MID-TERM Exam for I Year --NOV, 2014 1st Mid Term Exam Date & Day Add to Reading List Source URL: www.aitgurgaon.org Language: English - Date: 2014-10-28 00:38:44 Electronics Engineering Ethology Science European Rail Traffic Management System European Train Control System Electrical engineering